Enforcing K-Safeness in Controlled State Machines

نویسنده

  • R. K. Boel
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Online State Space Model Parameter Estimation in Synchronous Machines

The purpose of this paper is to present a new approach based on the Least Squares Error method for estimating the unknown parameters of the nonlinear 3rd order synchronous generator model. The proposed method uses the mathematical relationships between the machine parameters and on-line input/output measurements to estimate the parameters of the nonlinear state space model. The field voltage is...

متن کامل

N-Policy for M/G/1 Machine Repair Model with Mixed Standby Components, Degraded Failure and Bernoulli Feedback

In this paper, we study N-policy for a finite population Bernoulli feedback queueing model for machine repair problem with degraded failure. The running times of the machines between breakdowns have an exponential distribution. The repair times of the machines are independent and identically distributed random variables. If at any time a machine fails, it is sent to the repairman for repairing,...

متن کامل

Diffusion Process for GGR Machining System with Spares, Balking and Reneging (RESEARCH NOTE)

This paper deals with the G/G/R machining system consisting of M operating machines as well as S cold standbys. The concepts of balking and reneging are incorporated which make our model more versatile to deal with real time systems. The broken-down machines are sent to repair facilities consisting of R permanent repairmen. The failure times and repair times are generally identical and independ...

متن کامل

Restricted cascade and wreath products of fuzzy finite switchboard state machines

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

متن کامل

Living on the Edge: Safe Search with Unsafe Heuristics

Considering heuristic search for satisficing and cost-optimal planning, we introduce the notion of global safeness of a heuristic, a property weaker than the standard safeness, which we claim is better for heuristic search. We describe one concrete approach for creating globally safe and optimality preserving heuristics by exploiting information in the history of the search via a new form of in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999